Merge branch 'better-ci-reports' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 16 May 2020 00:52:56 +0000 (00:52 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 16 May 2020 00:52:56 +0000 (00:52 +0000)
commitf4d3d8e27c87b7979699f8bd71e044f4bd98703e
tree6c4c86c5657bac097ceacca156c038aa23ae0fee
parent4f6fa87f00f857cefcfb66ac40566dc56baf4ce3
parent01bd6cfd1783f2c598b10939e0a59a489e720cf7
Merge branch 'better-ci-reports' into 'master'

ci: Add the backend to the reports

See merge request GNOME/gtk!1911